算法是计算学科中最具有方法论性质的核心概念，也被誉为计算学科的灵魂。下列哪些论述是正确的 （ ）答案: 算法的表示属于抽象学科形态的内容; 对通用算法的实现和测试属于设计学科形态的内容; 计算复杂性理论、P和NP类问题属于理论学科形态的内容; 算法策略（如蛮干算法、贪婪算法、欧几里得算法）属于抽象学科形态的内容